281. Logic programming and nonmonotonic reasoning :
پدیدآورنده : Thomas Eiter, Wolfgang Faber, Mirosław Truszczyński (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses.,Nonmonotonic reasoning, Congresses.
282. Logic programming and nonmonotonic reasoning :
پدیدآورنده : Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses,Nonmonotonic reasoning, Congresses,Logic programming, Congresses,Nonmonotonic reasoning, Congresses
رده :
QA76
.
63
.
L74
1999
283. Logic programming and nonmonotonic reasoning
پدیدآورنده :
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Logic programming congresses,Nonmonotonic reasoning congresses
رده :
QA
,
76
.
63
,.
L74
284. Logic programming and nonmonotonic reasoning
پدیدآورنده : Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses,Nonmonotonic reasoning, Congresses
رده :
QA76
.
63
.
L74
2009eb
285. Logic programming and nonmonotonic reasoning :
پدیدآورنده : Pedro Cabalar, Tran Cao Son (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses,Nonmonotonic reasoning, Congresses
رده :
QA76
.
63
.
L66
2013
286. Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 1997 : proceedings
پدیدآورنده : Jurgen Dix, Ulrich Fuhrbach, Anil Nerode, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1265
287. Logic programming and nonmonotonic reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings
پدیدآورنده : Chitta Baral... ]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
3662
288. Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
پدیدآورنده : Michael Gelfond, Nicola Leone, Gerald Pfeifer )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1730
289. Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings
پدیدآورنده : Vladimir Lifschitz, Ilkka Niemela )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
2923
290. Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings
پدیدآورنده : Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
2173
291. Logic programming and soft computing
پدیدآورنده : / edited by T.P. Martin and F. Arcelli Fontana
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic programming,Soft computing
رده :
QA76
.
63
.
L63234
1998
292. Logic programming and soft computing
پدیدآورنده : edited by T.P. Martin, F. Arcelli Fontana
کتابخانه: (Semnan)
موضوع : ، Logic programming,، Soft computing
رده :
QA
76
.
63
.
L63
293. Logic programming : formal methods and practical applications
پدیدآورنده : edited by Christoph Beierle, Lutz Plumer
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Logic programming
رده :
QA
76
.
63
.
L63294
1995
294. Logic programming, functions, relations, and equations
پدیدآورنده : (edited by) Doug DeGroot, Gary Lindstrom
موضوع : Logic programming,Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
295. Logic programming in action: Second international Logic programming summer school, LPSS'92: proceedings
پدیدآورنده : G. Comyn, N.E. Fuchs, M. Ratcliffe )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
636
296. Logic programming in action; Second international logic programming Summer School, LPSS'92, Zurich, Switzerland, September 7-11, 1992: Proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming-- Congresses
رده :
QA
76
.
63
.
L66
1992
297. Logic programming & knowledge engineering
پدیدآورنده : AMBLE,TORE
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : LOGIC PROGRAMMING , EXPERT SYSTEMS )COMPUTER SCIENCE(
رده :
QA
76
.
6
.
A464
298. Logic programming, knowledge representation, and nonmonotonic reasoning :
پدیدآورنده : Marcello Balduccini, Tran Cao Son (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Gelfond, Michael,Logic programming,Nonmonotonic reasoning
299. Logic programming languages :
پدیدآورنده : edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming languages.
رده :
QA76
.
63
E358
1993
300. Logic programming '88: proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming-- Congresses
رده :
QA
76
.
63
.
L63
1989
